Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
491	Driving Savings from Behavior Programs: The Role of Program Theory and Logic Models in Program Design and Evaluation Amy Meyer 2014 BECC Conference, Washington, D.C. Add to Reading List Source URL: beccconference.org Language: English - Date: 2014-12-16 14:22:57 American Council for an Energy-Efficient Economy Evaluation Logic Knowledge Evaluation methods Logic model Science
492	Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Diego Figueira CNRS, LaBRI, France & University of Edinburgh, UK Santiago Figueira Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2015-05-26 20:54:57 Functional languages XML Model theory XPath 1.0 XPath First-order logic Constructible universe XQuery XSLT Computing Web standards Mathematical logic
493	Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:08:48 Metalogic Symbol Interpretation Structure Μ operator Linear temporal logic Model theory Logic Mathematics
494	Temporal Logics for Hyperproperties Michael R. Clarkson1 , Bernd Finkbeiner2 , Masoud Koleini1 , Kristopher K. Micinski3 , Markus N. Rabe2 , and C´esar S´anchez4 1 3 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematical logic Philosophical logic Predicate logic Constructible universe Quantification Model theory Logic Temporal logic Linear temporal logic
495	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2013-08-19 18:50:17 Model theory Logical syntax Philosophical logic Interpretation Entailment First-order logic Prenex normal form Well-formed formula Logical connective Logic Metalogic Formal languages
496	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
497	The Impact of Memory Models on Software Reliability in Multiprocessors Alexander Jaffe Thomas Moscibroda Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-05-12 02:28:58 Transaction processing Computer memory Compiler construction Concurrency Programming language design Linearizability Parallel computing Thread Java Memory Model Computing Logic Software engineering
498	Simply the Best: A Case for Abduction* Stathis Psillos Department of Philosophy and History of Science, University of Athens, 37 John Kennedy StrAthens, Greece. , http://www.uoa.gr/dhps/postgrad Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2002-08-09 08:57:00 Epistemology Logic Philosophy of science Charles Sanders Peirce Scientific method Defeasible reasoning Abductive reasoning Deductive reasoning Hypothetico-deductive model Science Knowledge Reasoning
499	Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Büchi automaton Linear temporal logic Symbol Complementation of Büchi automaton Automata theory Theoretical computer science Formal methods
500	FACSPobSAM: Policy-based Managing of Actors in Self-Adaptive Systems Narges Khakpour1 , Saeed Jalili2 Tarbiat Modares University, Tehran, Iran Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2009-12-20 11:20:30 Ordinal number Logic Philosophy of mathematics Forcing Constructible universe Actor model

UPDATE